$\forall$${\it es}$:ES. AtomFree(Type;Msg)